A uniform approach for programming distributed heterogeneous computing systems

Large-scale compute clusters of heterogeneous nodes equipped with multi-core CPUs and GPUs are getting increasingly popular in the scientific community. However, such systems require a combination of different programming paradigms making application development very challenging.In this article we introduce libWater, a library-based extension of the OpenCL programming model that simplifies the development of heterogeneous distributed applications. libWater consists of a simple interface, which is a transparent abstraction of the underlying distributed architecture, offering advanced features such as inter-context and inter-node device synchronization. It provides a runtime system which tracks dependency information enforced by event synchronization to dynamically build a DAG of commands, on which we automatically apply two optimizations: collective communication pattern detection and device-host-device copy removal.We assess libWater’s performance in three compute clusters available from the Vienna Scientific Cluster, the Barcelona Supercomputing Center and the University of Innsbruck, demonstrating improved performance and scaling with different test applications and configurations.     

Interactive fuzzy stochastic multi-level 0–1 programming using tabu search and probability maximization

In this paper, we consider interactive fuzzy programming for multi-level 0–1 programming problems involving random variable coefficients both in objective functions and constraints. Following the probability maximization model together with the concept of chance constraints, the formulated stochastic multi-level 0–1 programming problems are transformed into deterministic ones. Taking into account vagueness of judgments of the decision makers, we present interactive fuzzy programming. In the proposed interactive method, after determining the fuzzy goals of the decision makers at all levels, a satisfactory solution is derived efficiently by updating satisfactory levels of the decision makers with considerations of overall satisfactory balance among all levels. For solving the transformed deterministic problems efficiently, we also introduce novel tabu search for general 0–1 programming problems. A numerical example for a three-level 0–1 programming problem is provided to illustrate the proposed method.     

一种非对称多核SDR的任务调度和分配算法

针对软件无线电(SDR)应用同步数据流的特点,提出一种非对称多核SDR的任务调度和分配算法。该算法综合考虑任务之间的通信时间和任务固定流水,保证任务调度和分配的通用性和并行性。利用整数线性规划(ILP)方法对任务调度和分配进行建模,采用任务拆分方法优化调度和分配的结果,进一步提高任务调度和分配的执行效率。在目标SDR平台上实现IEEE 802.11a频偏估计处理的任务调度和分配,实验结果表明,该算法能提高5.97%的软件无线电平台吞吐量和3.03%的处理器核平均利用率,并减少34.31%的处理器核最长空闲等待时间。     

WSN中基于线性规划的多类别目标覆盖算法

多类别目标覆盖问题是目前无线传感器网络中的研究热点。针对现有目标覆盖算法在时间效率、网络生命周期等方面的不足,将多类别目标覆盖问题建模为基于线性规划的网络生命周期最大化问题,提出一种基于分簇的目标覆盖算法。该算法依据节点的剩余能量和感应能力,在每个簇结构内求解最优覆盖集的基础上得到接近于最优解的全局覆盖集,进而调度节点相应的感应模块去覆盖其感知范围内同属性的目标。实验结果表明,该算法是有效的,在网络生命周期和时间效率等方面均优于CWGC方案,接近于线性规划最优值。     

气提式双锥干燥机的开发

介绍了双锥回转真空干燥机的一种改良型机种——气提式双锥干燥机。这种干燥机不但具有原机的优点，并且有效地解决了原机在干燥中易结块成团和大型化困难等问题     

Development of refinery scheduling system using mixed integer programming and expert system

This paper presents a hybrid refinery scheduling system combining mathematical programming model and expert system. Mixed-integer linear programming models for crude oil movement between units are merged into the expert system that is for qualitative issues concerning crude vessel unloading operations. The target problem ranging from the crude unloading to the crude charging to distillation towers is decomposed into several module problems for efficiency. Compared with existing scheduling approaches for oil movement, the proposed hybrid refinery scheduling system is very effective in dealing with timing decisions involving vessel unloading operations due to the advantages of an expert system. Since the proposed scheduling system can generate solutions so fast, it is expected to play a key role in the real processes. This paper is dedicated to Professor Wha Young Lee on the occasion of his retirement from Seoul National University.     

有机改性蒙脱土／木粉／PVC复合材料的阻燃性研究

将有机改性蒙脱土（OMMT）加入PVC木塑体系，制备了有机蒙脱土／木粉／聚氯乙烯（OMMT／WF／PVC）纳米复合材料。采用锥形扫描量热测试法研究了OMMT用量对WF／PVC复合材料阻燃性能的影响。结果表明，添加OMMT可明显降低木塑的初始热失重率，但使快速热分解的开始时间提前，大大提高样品的燃烧残余率，显著延迟木塑的点燃时间和燃烧热峰值产生时间，OMMT起到了有效的阻燃作用。OMMT的加入还降低了总燃烧热，但燃烧热峰值有所增加，并使发烟量有所增加，CO和CO2产率也随之提高，增加了木塑燃烧的烟气危害性。     

基因表达式编程及其在混凝土徐变分析中应用

混凝土徐变分析在混凝土结构应力计算和变形分析中有着重要意义。由于影响混凝土徐变的因素较多,徐变函数呈现高度非线性,传统回归方法难以取得令人满意结果。基因表达式程序设计方法,吸取了遗传算法和基因编程两者的优点,在解决非线性拟合问题方面表现出非凡的数据挖掘能力与优势。在基因表达式编程理论分析基础上,利用该方法建立了混凝土徐变函数知识挖掘模型。实例表明,该模型比常规方法得到的函数有更高的精度。     

基于单片机的液晶显示系统设计

给出了利用单片机控制点阵图形液晶显示模块实现汉字显示与图形显示的基本设计思路与主要程序,具有较好的工程应用与参考价值。